set(ASAN OFF)
set(UBSAN OFF)
set(NONET ON)
set(PREFILL_PLAYER_NAME ON)

set(DEFAULT_WIDTH 960)
set(DEFAULT_HEIGHT 544)
